Marcel Böhm: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Probabilistic Analysis of the Efficiency of Automated Software Testing

Bohme, Marcel, Paul, Soumya

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

2

[Advances in Computers] Volume 89 || Regression Testing of Evolving Programs

Year:

2013

Language:

english

File:

PDF, 1023 KB

english, 2013

3

Ardennite in a high- P / T meta-conglomerate near Vitolište in the westernmost Vardar zone, Republic of Macedonia

ALTHERR, RAINER, SODER, CHRISTIAN, MEYER, HANS-PETER, LUDWIG, THOMAS, BÖHM, MARCEL

Journal:

European Journal of Mineralogy

Year:

2017

Language:

english

File:

PDF, 18.33 MB

english, 2017

4

Coverage-based Greybox Fuzzing as Markov Chain

Bohme, Marcel, Pham, Van-Thuan, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

5

STADS

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2018

Language:

english

File:

PDF, 8.11 MB

english, 2018

6

Friction Stir Spot Welding with Additional Bonding of Thick Sheet Aluminum Joints

Hatzky, Marcel, Frank, Antonia, Böhm, Stefan

Journal:

Year:

2019

Language:

english

File:

PDF, 1.71 MB

english, 2019

7

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Assurances in Software Testing: A Roadmap

Year:

2019

Language:

english

File:

PDF, 70 KB

english, 2019

8

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - AFLNET: A Greybox Fuzzer for Network Protocols

Pham, Van-Thuan, Bohme, Marcel, Roychoudhury, Abhik

Year:

2020

File:

PDF, 239 KB

2020

9

Probing the Acidity of p-Substituted Phenols in the Excited State: Electronic Spectroscopy of the p-Cyanophenol–Water Cluster

Christoph Jacoby , Marcel Böhm, Chau Vu, Christian Ratzer, Michael Schmitt

Journal:

Year:

2006

Language:

english

File:

PDF, 151 KB

english, 2006

10

Determining the Intermolecular Structure in the S0 and S1 States of the Phenol Dimer by Rotationally Resolved Electronic Spectroscopy

Michael Schmitt, Marcel Böhm, Christian Ratzer, Daniel Krügler, Karl Kleinermanns, Ivo Kalkman, Giel Berden, W. Leo Meerts

Journal:

Year:

2006

Language:

english

File:

PDF, 258 KB

english, 2006

11

Tumor radiosensitizers—current status of development of various approaches: Report of an International Atomic Energy Agency meeting

Michael R. Horsman, Lothar Bohm, Geoffrey P. Margison, Luka Milas, Jean-Francois Rosier, Geza Safrany, Edgar Selzer, Marcel Verheij, Jolyon H. Hendry

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

2006

Language:

english

File:

PDF, 156 KB

english, 2006

12

Electronic excitation in the benzonitrile dimer: The intermolecular structure in the S0 and S1 state determined by rotationally resolved electronic spectroscopy

Michael Schmitt, Marcel Böhm, Christian Ratzer, Swen Siegert, Marloes van Beek, W. Leo Meerts

Journal:

Journal of Molecular Structure

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

13

The structure of p-chlorophenol and barrier to internal OH rotation in the S1-state

Marcel Böhm, Christian Ratzer, Michael Schmitt

Journal:

Journal of Molecular Structure

Year:

2006

Language:

english

File:

PDF, 620 KB

english, 2006

14

Should aldosterone blockade be used beyond current indications in heart failure?

Marcelle D. Smit, Isabelle C. van Gelder, Michael Böhm, Hans-Ruprecht Neuberger, Dirk J. van Veldhuisen

Journal:

Current Heart Failure Reports

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

15

Prognostic factors, recurrence and survival in transitional cell carcinoma of the upper urinary tract in 77 patients with a maximum follow-up of ten years

Michel Maurice Stephan, Marcel Platz, Jeannette Hoang-Böhm, Thomas Knoll, Kai Köhrmann, Peter Alken

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 194 KB

english, 2002

16

Structural Selection by Microsolvation: Conformational Locking of Tryptamine

Schmitt, Michael, Böhm, Marcel, Ratzer, Christian, Vu, Chau, Kalkman, Ivo, Meerts, W. Leo

Journal:

Journal of the American Chemical Society

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

17

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Partition-based regression verification

Bohme, Marcel, Oliveira, Bruno C. D. S., Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 483 KB

english, 2013

18

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Software regression as change of input partitioning

Year:

2012

Language:

english

File:

PDF, 177 KB

english, 2012

19

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Regression tests to expose change interaction errors

Böhme, Marcel, Oliveira, Bruno C. d. S., Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 569 KB

english, 2013

20

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - CoREBench: studying complexity of regression errors

Böhme, Marcel, Roychoudhury, Abhik

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

21

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - On the efficiency of automated testing

Böhme, Marcel, Paul, Soumya

Year:

2014

Language:

english

File:

PDF, 566 KB

english, 2014

22

[IEEE 2015 German Microwave Conference (GeMiC) - Nuremberg, Germany (2015.3.16-2015.3.18)] 2015 German Microwave Conference - Evaluation and optimization of active signal canceling for coexistence management in vehicular multistandard transceivers

Posselt, Adrian, Welpot, Marcel, Bohm, Christian, Klemp, Oliver, Geck, Bernd

Year:

2015

Language:

english

File:

PDF, 2.59 MB

english, 2015

23

Potential of hybrid striped bass ( Morone saxatilis (Walbaum) x Morone chrysops (Rafinesque) to reproduce among climatic conditions of northern and central Germany

Müller-Belecke, Andreas, Böhm, Marcel, Pfeifer, Matthias, Füllner, Gert

Journal:

Aquaculture Research

Year:

2016

Language:

english

File:

PDF, 271 KB

english, 2016

24

The Influence of Plastic Deformation on the Corrosion Behavior of a Cast High-Alloy CrMnNi TRIP Steel

Mandel, Marcel, Böhme, Fabian, Hauser, Michael, Wendler, Marco, Tuchscheerer, Friedrich, Krüger, Lutz

Journal:

steel research international

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

25

Bias to CMB lensing measurements from the bispectrum of large-scale structure

Böhm, Vanessa, Schmittfull, Marcel, Sherwin, Blake D.

Journal:

Physical Review D

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

26

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - Model-based whitebox fuzzing for program binaries

Pham, Van-Thuan, Böhme, Marcel, Roychoudhury, Abhik

Year:

2016

Language:

english

File:

PDF, 591 KB

english, 2016

27

[ACM Press the 2016 ACM SIGSAC Conference - Vienna, Austria (2016.10.24-2016.10.28)] Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16 - Coverage-based Greybox Fuzzing as Markov Chain

Böhme, Marcel, Pham, Van-Thuan, Roychoudhury, Abhik

Year:

2016

Language:

english

File:

PDF, 727 KB

english, 2016

28

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - How Developers Debug Software — The DBGBENCH Dataset

Bohme, Marcel, Soremekun, Ezekiel Olamide, Chattopadhyay, Sudipta, Ugherughe, Emamurho Juliet, Zeller, Andreas

Year:

2017

Language:

english

File:

PDF, 145 KB

english, 2017

29

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Where is the bug and how is it fixed? an experiment with practitioners

Böhme, Marcel, Soremekun, Ezekiel O., Chattopadhyay, Sudipta, Ugherughe, Emamurho, Zeller, Andreas

Year:

2017

Language:

english

File:

PDF, 3.11 MB

english, 2017

30

Systematic Kinase Inhibitor Profiling Identifies CDK9 as a Synthetic Lethal Target in NUT Midline Carcinoma

Brägelmann, Johannes, Dammert, Marcel A., Dietlein, Felix, Heuckmann, Johannes M., Choidas, Axel, Böhm, Stefanie, Richters, André, Basu, Debjit, Tischler, Verena, Lorenz, Carina, Habenberger, Peter, F

Journal:

Year:

2017

Language:

english

File:

PDF, 4.60 MB

english, 2017

31

A correlation study between automated program repair and test-suite metrics

Yi, Jooyong, Tan, Shin Hwei, Mechtaev, Sergey, Böhme, Marcel, Roychoudhury, Abhik

Journal:

Empirical Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.52 MB

english, 2017

32

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Directed Greybox Fuzzing

Böhme, Marcel, Pham, Van-Thuan, Nguyen, Manh-Dung, Roychoudhury, Abhik

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

33

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Detecting information flow by mutating input data

Mathis, Bjorn, Avdiienko, Vitalii, Soremekun, Ezekiel O., Bohme, Marcel, Zeller, Andreas

Year:

2017

Language:

english

File:

PDF, 175 KB

english, 2017

34

MYC paralog-dependent apoptotic priming orchestrates a spectrum of vulnerabilities in small cell lung cancer

Dammert, Marcel A., Brägelmann, Johannes, Olsen, Rachelle R., Böhm, Stefanie, Monhasery, Niloufar, Whitney, Christopher P., Chalishazar, Milind D., Tumbrink, Hannah L., Guthrie, Matthew R., Klein, Seb

Journal:

Nature Communications

Year:

2019

Language:

english

File:

PDF, 1.54 MB

english, 2019

35

Friction Stir Spot Welding with Additional Bonding of Thick Sheet Aluminum Joints

Hatzky, Marcel, Frank, Antonia, Böhm, Stefan

Journal:

Year:

2019

File:

PDF, 1.71 MB

2019

36

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Human-In-The-Loop Automatic Program Repair

Bohme, Marcel, Geethal, Charaka, Pham, Van-Thuan

Year:

2020

File:

PDF, 790 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски